$\vdash$  $\forall$$i$:$\mathbb{Z}$. $\mid$$i$$\mid$ = $\mid${-}$i$$\mid$